321. Aeroecology /
پدیدآورنده : edited by Phillip B. Chilson, Winifred F. Frick, Jeffrey F. Kelly, Felix Liechti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Animal flight.,Ecology.,Meteorology.,Animal ecology.,Animal flight.,Computers-- Computer Science.,Ecological science, the Biosphere.,Ecology.,Life sciences: general issues.,Meteorology.,Science-- Earth Sciences-- Geology.,Science-- Earth Sciences-- Meteorology & Climatology.,Science-- Life Sciences-- Ecology.,Science-- Life Sciences-- Zoology-- General.,Zoology & animal sciences.
رده :
QP310
.
F5
322. Agent technologies and web engineering :
پدیدآورنده : [edited by] Ghazi Alkhatib, David Rine.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Web services.,Web site development.,COMPUTERS-- Web-- Web Programming.,Intelligent agents (Computer software),Web services.,Web site development.
رده :
TK5105
.
888
.
A35
2009eb
323. Agenten- und ontologiebasierte Software-Architektur zur interaktiven Bildauswertung.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic computers. Computer science.
324. Agile Office 365 :
پدیدآورنده : Haniel Croitoru.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microsoft Office.,Microsoft Office.,Agile software development.,Business-- Computer programs.,Agile software development.,Business-- Computer programs.,COMPUTERS-- Desktop Applications-- Suites.,Information technology: general issues.,Microsoft programming.,Project management.
رده :
HF5548
.
4
.
M525
325. Alan Turing :
پدیدآورنده : Andrew Hodges ; foreword by Douglas Hofstadter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Turing, Alan,1912-1954.,Turing, Alan Mathison / 1912-1954.,Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography.,Artificial intelligence.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,Coding theory & cryptology.,COMPUTERS-- History.,Matematiker.,Mathematicians-- Great Britain, Biography.,Mathematicians.,MATHEMATICS-- History & Philosophy.,Second World War.,Great Britain., 7
رده :
QA29
.
T8
H63
2012eb
326. Alan Turing and his Contemporaries : Building the world's first computers
پدیدآورنده : / Kelly, Martin-Lavington, Simon
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
327. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
328. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
329. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
330. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
331. Algebraic aspects of the Advanced encryption standard
پدیدآورنده : / by Carlos Cid, Sean Murphy, Matthew Robshaw
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Data encryption (Computer science), Standards,Computers, Access control, Standards,Computer security, Standards
رده :
QA76
.
9
.
A25
,
C494
2006
332. Algebraic aspects of the Advanced encryption standard /
پدیدآورنده : by Carlos Cid, Sean Murphy, Matthew Robshaw.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security-- Standards.,Computers-- Access control-- Standards.,Data encryption (Computer science)-- Standards.,Computer security-- Standards.,Computer security-- Standards.,Computers-- Access control-- Standards.,Computers-- Access control-- Standards.,COMPUTERS-- Security-- Cryptography.,Data encryption (Computer science)-- Standards.,Informatique.
رده :
QA76
.
9
.
A25
C43
2006eb
333. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
334. Algorithm-Structured Computer Arrays and Networks; Architectures and processes for Image, Percepts, Models Information
پدیدآورنده : Uhr, Leonard Merrick
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer networks,، Computer architecture
رده :
QA
76
.
6
.
U37
1984
335. Algorithm Theory - SWAT '94 :
پدیدآورنده : edited by Erik M. Schmidt, Sven Skyum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Data structures (Computer science)
336. Algorithmic Game Theory
پدیدآورنده : edited by Berthold Vöcking.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Computers and civilization.,Computers.,Electronic commerce.,Mathematical statistics.,Numerical analysis.
337. Algorithmic and knowledge based CAD for VLSI /
پدیدآورنده : edited by Gaynor Taylor and Gordon Russell
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design,Expert systems (Computer science),Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Integrated circuits-- Very large scale integration-- Testing-- Data processing
رده :
TK7874
.
A416
1992
338. Algorithmic aspects in information and management :
پدیدآورنده : Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
339. Algorithmic game theory :
پدیدآورنده : Giuseppe Persiano (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses,Game theory, Congresses
رده :
QA269
.
S34
2011
340. Algorithmic language and program development
پدیدآورنده : Bauer, Friedrich Ludwig, 4291-
کتابخانه: (طهران)
موضوع : ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982